Wyniki
-
On the metamathematics of ordinal arithmetics
E. A. Sonenberg
Bulletin of the Section of Logic , 6 /3 (1977) -
Remarks on Hertz Algebras and Implicative Semilattices
A. Figallo, A. Ziliani
Bulletin of the Section of Logic , 34 /1 (2005) s. 37-42 -
Model theory via imaginary universes
J. E. Hutchinson
Bulletin of the Section of Logic , 6 /3 (1977) -
An absolute first order predicte calculus
Vladimir A. Smirnov
Bulletin of the Section of Logic , 2 /1 (1973) s. 38-43 -
A natural deduction relevance logic
Frederic A. Johnson
Bulletin of the Section of Logic , 6 /4 (1977) s. 164-170 -
Internal and external logic
Vladimir A. Smirnov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 170-181 -
Operators on branched quantifiers
Mark A. Brown
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 83-84 -
Some remarks on definable quantifiers
Aleksandre A. Ivanov
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 107 -
A Note on Nuclei of Quantale Algebras
Sergey A. Solovyov
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 91-112 -
Combining Time and Knowledge, Semantic Approach
E. Calarado, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /1 (2005) s. 13-21 -
On a Four-Valued Modal Logic with Deductive Implication
Marcelo E. Coniglio, Martin Figallo
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 1-18 -
A tableau system for positive relevant implication
Michael A. Mc Robbie
Bulletin of the Section of Logic , 6 /3 (1977) -
A Representation for Finite Hilbert Algebras
A.V. Figallo, E. Pick, S. Saad
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 191-202 -
PC-lattices: A Class of Bounded BCK-algebras
Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar
Bulletin of the Section of Logic , 47 /1 (2018) s. 33-44 -
On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge
Renate A. Schmidt, Dmitry Tishkovsky
Bulletin of the Section of Logic , 31 /1 (2002) s. 27-36 -
On the Injectivity of the Leibniz Operator
L. Descalco, Manuel A. Martins
Bulletin of the Section of Logic , 34 /4 (2005) s. 203-211 -
Admissible Equivalence Systems
Sergey Babenyshev, Manuel A. Martins
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 17-33 -
On some higher-order predicate calculi
Elias H. Alves, Jose E. de Almeida Moura
Bulletin of the Section of Logic , 7 /2 (1978) s. 84 -
Proof tableau formulations of some first-order relevant ortho-logics
Michael A. McRobbie, Nuel D. Belnap
Bulletin of the Section of Logic , 13 /4 (1984) s. 233-239